e[e1,e2].P(e) == e:E. e1  e   e  e2   P(e) 

latex

---

clarification:

alle-between2(es;e1;e2;e.P(e)) == e:es-E(es). es-le(es;e1;e)  es-le(es;e;e2)  P(e) 

latex

Definitions	x:A. B(x), E, P  Q, e  e'
FDL editor aliases	alle-between2